MGI:5523688 mutation 1, Han-Sung Jung http://identifiers.org/mgd/MGI:5523688 Hoxd12<m1Hsj>